Collecting Statistics Over Runtime Executions
نویسندگان
چکیده
منابع مشابه
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics over runtime executions of a program we can answer complex queries, such as “what is the average number of packet transmissions” in a communication protocol, or “how often does a particular process enter the critical sec...
متن کاملStatistics and Runtime Verification
The importance of correctness of systems is becoming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such correctness, with one of the more promising ones being runtime verification. One important issue in runtime verification is the logic used to specify properties, since this influences both the overhea...
متن کاملCollecting Graphical Abstract Views of Mercury Program Executions
A program execution monitor is a program that collects and abstracts information about program executions. The collect operator is a high level, general purpose primitive which lets users implement their own monitors. Collect is built on top of the Mercury trace. In previous work, we have demonstrated how this operator can be used to efficiently collect various kinds of statistics about Mercury...
متن کاملCollecting and Querying Distributed Traces of Composite Service Executions
The development of new Web services by composition of existing ones is becoming a widespread approach to realise business-to-business collaborations. The composite services obtained in this way are then eventually used in other compositions. Given the dynamic nature of the Web, this recursive composition of services rapidly leads to intricate dependencies between them. On the other hand, busine...
متن کاملCollecting Statistics about the Portuguese Web
This report presents a characterization of text documents from the Portuguese Web. This characterization was produced from a crawl of over 4 million URLs and 131 thousand sites in 2003. We describe rules that we established for defining its boundaries and the methodology used to gather statistics. We also show how crawling constraints and abnormal situations on the Web can influence the results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2005
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-005-3399-3